Abstract type

Results: 1261



#Item
21

Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2005-10-01 03:14:52
    22

    Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

    Add to Reading List

    Source URL: iswc2011.semanticweb.org

    Language: English - Date: 2011-09-21 14:16:02
      23

      EXTREMAL FUNCTIONS FOR MOSER-TRUDINGER TYPE INEQUALITY ON COMPACT CLOSED 4-MANIFOLDS YUXIANG LI, CHEIKH BIRAHIM NDIAYE Abstract. Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of e

      Add to Reading List

      Source URL: faculty.math.tsinghua.edu.cn

      Language: English - Date: 2006-09-11 12:00:00
        24

        Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract

        Add to Reading List

        Source URL: maxsnew.github.io

        - Date: 2018-03-23 16:34:38
          25

          The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract

          Add to Reading List

          Source URL: jonathan.protzenko.fr

          - Date: 2015-01-02 09:04:04
            26

            Extended abstract: Type oriented programming for task based parallelism 1 Nick Brown

            Add to Reading List

            Source URL: tydeworkshop.org

            - Date: 2017-11-13 07:34:26
              27

              Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                28

                Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

                Add to Reading List

                Source URL: scheme2016.snow-fort.org

                - Date: 2016-09-23 10:04:45
                  29

                  Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14
                    30

                    Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

                    Add to Reading List

                    Source URL: www.anupamdas.com

                    - Date: 2017-08-07 04:57:01
                      UPDATE